DEFINITION MODULE MathLib0 ;
(* As defined in PIM *)

PROCEDURE sqrt(x: REAL): REAL;

PROCEDURE exp(x: REAL): REAL;

PROCEDURE ln(x: REAL): REAL;

PROCEDURE sin(x: REAL): REAL;

PROCEDURE cos(x: REAL): REAL;

PROCEDURE arctan(x: REAL): REAL;

PROCEDURE entier(x: REAL): INTEGER;

END MathLib0.

